/*
 * Header file contenente l'interfaccia del modulo Caricamento/Salvataggio.
 */
#include <iostream>
#include <fstream>

/* INIZIO interfaccia del modulo Caricamento/Salvataggio.*/

/* Salva la lista dei libri che l'utente vuole avere nella propria
 * libreria in file di testo, personale di QUELL'UTENTE. Ogni utente avrà
 * un file proprio con all'interno una lista, la caratteristica-mark 
 * di ogni libro.
 * Viene
 */
void save_personal_list(const desc_sequenza &s, const char nome[]) ;

/* Carica da un file di testo il contenuto della sequenza.
 *
 *  s Sequenza da aggiornare
 * nome Nome del file da cui caricare la sequenza
 * ritorna Vero se il caricamento ha avuto successo, falso altrimenti
 */
bool carica(desc_sequenza &s, const char nome[]) ;

/* FINE interfaccia del modulo Caricamento/Salvataggio.*/
